#!/bin/sh

# The executable bits on this script should be cleared

echo Hello
